negation elimination